Reserved Books for CS 812 - Programing Language Semantics - Spring 2010

References [1] Harold Abelson, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, Massachusetts, 1985. [2] Gregory R. Andrews. Concurrent Programming. Benjamin/Cummings, Redwood City, California, 1991. [3] Krzysztof R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, New York, 1991. [4] Hendrik Pieter Barendregt. The Lambda Calculus, Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, revised edition, 1984. [5] Richard J. Bird and Philip Wadler. Introduction to Functional Programming. PrenticeHall International, Hemel Hempstead, England, 1988. [6] Per Brinch Hansen, editor. The Origin of Concurrent Programming. Springer-Verlag, New York, 2002. [7] K. Mani Chandy and Jayadev Misra. Parallel Program Design. Addison-Wesley, Reading, Massachusetts, 1988. [8] O.-J. Dahl, Edsger W. Dijkstra, and C. A. R. Hoare. Structured Programming, volume 8 of A.P.I.C. Studies in Data Processing. Academic Press, London, 1972.